x86_32: Fix buil dafter EFI MPS patch.

Signed-off-by: Keir Fraser <keir@xen.org>

diff --git a/xen/arch/x86/mpparse.c b/xen/arch/x86/mpparse.c
index e8720fd1f3c4924e376e3e277a3a915be88035fa..7c93ff96db191c65e98a7199989734a139563c52 100644 (file)
--- a/xen/arch/x86/mpparse.c
+++ b/xen/arch/x86/mpparse.c
@@ -666,7 +666,7 @@ static void __init efi_check_config(void)
            mpf_checksum((void *)mpf, 16) &&
            (mpf->mpf_specification == 1 || mpf->mpf_specification == 4)) {
                smp_found_config = 1;
-               printk(KERN_INFO "SMP MP-table at %08"PRIx64"\n", efi.mps);
+               printk(KERN_INFO "SMP MP-table at %08lx\n", efi.mps);
                mpf_found = mpf;
        }
        else